表示不变量（Representation Invariant）与抽象函数（Abstract Function）

主要内容来自MIT6.031 Software Construction课程及HIT 软件构造课程。 我们先来介绍两种类型空间的值： 一、 Space of representatio ...